Some Applications of Recursive Functionals to the Foundations of Mathematics and Physics

نویسندگان

  • Matthew P. Szudzik
  • Jeremy Avigad
  • Robert Batterman
  • Lenore Blum
چکیده

We consider two applications of recursive functionals. The first application concerns Gödel’s theory T , which provides a rudimentary foundation for the formalization of mathematics. T can be understood as a theory of the simply-typed lambda calculus that is extended to include the constant 0N, the successor function S, and the operator Rτ for primitive recursion on objects of type τ . It is known that the functions from non-negative integers to non-negative integers that can be defined in this theory are exactly the <ε0-recursive functions of non-negative integers. But it is not well-known which functionals of arbitrary type can be defined in T . We show that when the domain and codomain are restricted to pure closed normal forms, the functionals of arbitrary type that are definable in T are exactly those functionals that can be encoded as <ε0-recursive functions of non-negative integers. This result has many interesting consequences, including a new characterization of T . The second application is concerned with the question: “When can a model of a physical system be regarded as computable?” We provide the definition of a computable physical model to answer this question. The connection between our definition and Kreisel’s notion of a mechanistic theory is discussed, and several examples of computable physical models are given, including models which feature discrete motion, a model which features non-discrete continuous motion, and nondeterministic models such as radioactive decay. We show how computable physical models on effective topological spaces can be formulated with recursive functionals in the theory of type-two effectivity (TTE). Various common operations on computable physical models are described, such as the operation of coarse-graining and the formation of statistical ensembles. The definition of a computable physical model also allows for a precise formalization of the computable universe hypothesis—the claim that all the laws of physics are computable.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Equivalence of K-functionals and modulus of smoothness for fourier transform

In Hilbert space L2(Rn), we prove the equivalence between the mod-ulus of smoothness and the K-functionals constructed by the Sobolev space cor-responding to the Fourier transform. For this purpose, Using a spherical meanoperator.

متن کامل

A recursive construction of a class of finite normalized tight frames

Finite normalized tight frames are interesting because they provide decompositions in applications and some physical interpretations. In this article, we give a recursive method for constructing them.

متن کامل

Existence of three solutions for a class of fractional boundary value systems

In this paper, under appropriate oscillating behaviours of the nonlinear term, we prove some multiplicity results for a class of nonlinear fractional equations. These problems have a variational structure and we find three solutions for them by exploiting an abstract result for smooth functionals defined on a reflexive Banach space. To make the nonlinear methods work, some careful analysis of t...

متن کامل

A class of certain properties of approximately n-multiplicative maps between locally multiplicatively convex algebras

‎We extend the notion of approximately multiplicative to approximately n-multiplicative maps between locally multiplicatively convex algebras and study some properties of these maps‎. ‎‎W‎e prove that every approximately n-multiplicative linear functional on a functionally continuous locally multiplicatively convex algebra is continuous‎. ‎We also study the relationship between approximately mu...

متن کامل

Coupled common fixed point theorems for $varphi$-contractions in probabilistic metric spaces and applications

In this paper, we give some new coupled common  fixed point theorems for probabilistic $varphi$-contractions  in Menger probabilistic metric spaces.  As applications of the main results, we obtain some coupled common fixed point theorems in usual metric spaces and fuzzy metric spaces. The main results of this paper improvethe corresponding results given by some authors. Finally, we give one exa...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015